Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
621	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing
622	Ann Inst Stat Math[removed]:229–259 DOI[removed]s10463[removed]Model checking for parametric regressions with response missing at random Xu Guo · Wangli Xu · Lixing Zhu Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2015-03-19 01:33:53 Statistical theory Robust statistics Statistical methods Regression analysis Parametric statistics Normal distribution Parametric model Statistics Statistical inference Non-parametric statistics
623	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
624	The Theory and Practice of SALT Andreas Bauer1 and Martin Leucker2 1 NICTA Canberra Research Lab and The Australian National University 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2011-02-20 17:19:51 Logical syntax Logic in computer science Linear temporal logic Model checking Propositional calculus First-order logic Logical connective LTL Proposition Logic Mathematical logic Temporal logic
625	Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-04-26 23:57:05 Logic in computer science Diagnosis Runtime verification Linear temporal logic Model checking Medical diagnosis Actor model Modal logic Temporal logic Logic Artificial intelligence Formal methods
626	Overview Model checking Approaches Algorithmic Verification Comp4151 Lecture 9-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Function FO Mind Mathematics Model checking Abstraction
627	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
628	¨ V ER OFFENTLICHUNGSLISTE : S TEFAN E DELKAMP DATUM ¨ Add to Reading List Source URL: www.tzi.de Language: English - Date: 2014-08-22 14:07:02 Association for the Advancement of Artificial Intelligence Symposium on Combinatorial Search Model checking Automated planning and scheduling
629	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
630	Performance Analysis with Model Checking∗ Extracting performance information from Erlang source code Juan Jos´ e S´ anchez Penas Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-11-21 05:44:56 Model checking Erlang Computer programming Representational state transfer Computing Software engineering Erlang programming language

UPDATE